|
|
Theory of Digital Automata
by Borowik, Bohdan.
Publication:
. XII, 206 p. 229 illus., 59 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Circuit Design
by Vingron, Shimon P.
Publication:
. XIV, 258p. 207 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2013
by Järvisalo, Matti.
Publication:
. XVI, 437 p. 84 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Satisfiability Testing – SAT 2012
by Cimatti, Alessandro.
Publication:
. XIV, 500p. 364 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Progress in VLSI Design and Test
by Rahaman, Hafizur.
Publication:
. XXIV, 408 p. 275 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2010 - Concurrency Theory
by Gastin, Paul.
Publication:
. XIII, 600p. 134 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|